SafeSlinger: Easy-to-Use and Secure Public-Key Exchange Michael Farb Yue-Hsun Lin Tiffany Hyun-Jin Kim

Source URL: www.netsec.ethz.ch

• Cryptography
• Computing
• Secure communication
• Transport Layer Security
• Cryptographic protocols
• Computer access control
• Public key infrastructure
• Public-key cryptography
• Internet Relay Chat
• Key management
• Cryptographic hash function
• Challengeresponse authentication

Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation David Kaloper-Merˇsinjak† , Hannes Mehnert† , Anil Madhavapeddy and Peter Sewell University of Cambridge Comput

Source URL: anil.recoil.org

• Transport Layer Security
• Cryptographic protocols
• Cryptographic software
• Secure communication
• Internet security
• OpenSSL
• Heartbleed
• Comparison of TLS implementations
• Mbed TLS
• Cipher suite
• HTTPS
• POODLE

Registration Form Summer School on Applied Cryptographic Protocols 2010 Mykonos, Greece, Sep 26 – Oct 01, 2010 Please provide the requested information below to register for the summer school. Note that registration do

Source URL: summerschool2010.cased.de

Improved Group Off-the-Record Messaging Hong Liu Eugene Y. Vasserman Nicholas Hopper

Source URL: www-users.cs.umn.edu

• Cryptographic protocols
• Public-key cryptography
• Notary
• Online chat
• Internet protocols
• Deniable authentication
• XMPP
• Off-the-Record Messaging
• Authentication
• Digital signature
• Key exchange
• Transport Layer Security

Validating Web Content with Senser Jordan Wilberding Georgetown University Andrew Yates Georgetown University

Source URL: security.cs.georgetown.edu

• Computing
• Internet
• Software
• Internet privacy
• Computer networking
• Internet protocols
• Network performance
• Proxy server
• Reverse proxy
• Transport Layer Security
• Cryptographic hash function
• Load balancing

,1)1&$ &HUWLILFDWH3ROLF\DQG &HUWLILFDWLRQ3UDFWLFH 6WDWHPHQW Version 0.3 (DRAFT)

Source URL: security.fi.infn.it

• Key management
• Public-key cryptography
• Public key infrastructure
• Transport Layer Security
• Cryptographic protocols
• Certificate policy
• Revocation list
• Public key certificate
• Certification Practice Statement
• Certificate authority
• X.509
• S/MIME

Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Cambridge, UK Alan Jeffrey

Source URL: ect.bell-labs.com

• Cryptography
• Public-key cryptography
• Authentication protocols
• Symmetric-key cryptography
• NeedhamSchroeder protocol
• Cryptographic nonce
• XTR
• Digital signature
• Subtyping
• Security protocol notation

G2C: Cryptographic Protocols From Goal-Driven Specifications Michael Backes1,2 , Matteo Maffei1 , Kim Pecina1 , and Raphael M. Reischuk1 1 2

Source URL: sps.cs.uni-saarland.de